Introduction from 並シス本
ドンキホーテの物語の現代リメイク版らしい
”When people who can’t think logically design large systems, those systems become incomprehensible. And we start thinking of them as biological systems. And since biological systems are too complex to understand, it seems perfectly natural that computer programs should be too complex to understand.
We should not accept this.”
By Leslie Lamport, in his invited lecture “Future of Computing: Logic or Biology” 論理的デザインを積み上げることによる分散システム構築の重要性を説いている
余りにもでかいシステムは論理的に組み立てないと生体的システムと同様の複雑度となり、理解できなくなる
我々はそれをプログラムする術を未だ持たないため、少なくとも現在は受け入れられない
(avashe.iconなんかこの著者"the very"を沢山つける人だなぁ) (全体的にこの人私の知らない語彙を使う方なので勉強になる)
コンピューターの歴史は並行性の歴史でもある
それは一部のスペシャリストによる"並列性"チューニングに限らず、あらゆるプログラマへ並行性を解放するような"library of abstractions"の構築という課題に変換される
色々概要述べてるけど省略